double division operator in python